#include <kernel/types.h>
#include <user/user.h>

int main() 
{
    ps();
    exit(0);    
}